COLOR CORRECTION THROUGH REGION MATCHING LEVERAGED BY POINT CORRESPONDENCES Dieu-Sang Ly, Serge Beucher and Michel Bilodeau MINES ParisTech, PSL - Research University, CMM - Centre for mathematical morphology 35 rue St H

Source URL: cmm.ensmp.fr

• Imaging
• Color mapping
• Segmentation
• Object recognition
• Histogram matching
• RGB color model
• Watershed
• Image gradient
• Grayscale
• Image processing
• Vision
• Optics

A Constraint-Solving Approach to Faust Program Type Checking Imré Frotier de la Messelière1 , Pierre Jouvelot1 , Jean-Pierre Talpin2 1 MINES ParisTech, PSL Research University

Source URL: feever.fr

• Computer programming
• FAUST
• Type system
• Type inference
• Principal type
• Constraint programming
• OCaml
• E
• Programming language
• Software engineering
• Type theory
• Computing

Call for Projects for the Funding of New Research Teams

Source URL: www.univ-psl.fr

• 5th arrondissement of Paris
• University of Paris

A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech.

Source URL: www.cri.ensmp.fr

• Type theory
• Functional languages
• Mathematical logic
• FAUST
• Eval
• Mathematical proof
• Nyquist–Shannon sampling theorem
• Coq
• Dependent type
• Mathematics
• Computing
• Theoretical computer science

FEEVER  Mee(ng  –  October  13,2014   Type Inference in Multirate Faust Is Undecidable Pierre Jouvelot MINES ParisTech, PSL Research University

Source URL: feever.fr

• Software engineering
• Programming language theory
• Object-oriented programming
• Polymorphism
• Subtype polymorphism
• Type system
• Diophantine equation
• Function
• Type theory
• Data types
• Mathematics

PariS ScienceS & LettreS Sapere Aude PSL, a federaL “reSearch

Source URL: www.univ-psl.fr

• ParisTech
• Paris Dauphine University
• Pierre-Gilles de Gennes
• PSL*
• Grandes écoles
• Paris Institute of Technology
• France
• Academia

Des r´eels aux flottants : pr´eservation automatique de preuves de stabilit´e de Lyapunov Olivier Hermant et Vivien Maisonneuve CRI, MINES ParisTech, PSL Research University Abstract

Source URL: www.cri.ensmp.fr

A Constraint-Solving Approach to Faust Program Type Checking Imré Frotier de la Messelière1 , Pierre Jouvelot1 , Jean-Pierre Talpin2 1 MINES ParisTech, PSL Research University

Source URL: www.cri.ensmp.fr

• Computer programming
• FAUST
• Type system
• Type inference
• Principal type
• Constraint programming
• OCaml
• E
• Programming language
• Software engineering
• Type theory
• Computing

Verifying Faust in Coq Progress report Emilio J. Gallego Arias, Pierre Jouvelot, Olivier Hermant, Arnaud Spiwack MINES ParisTech, PSL Research University, France

Source URL: feever.fr

• IRCAM
• Folklore
• Music
• Culture
• Audio programming languages
• FAUST
• Mephisto

Automatic Streamization of Image Processing Applications Pierre Guillou, Fabien Coelho, and François Irigoin MINES ParisTech, PSL Research University

Source URL: www.cri.ensmp.fr

• Models of computation
• Programming paradigms
• Massively parallel processor array
• Dataflow architecture
• Dataflow programming
• Multi-core processor
• Dataflow
• Very long instruction word
• Directed acyclic graph
• Computing
• Parallel computing
• Computer architecture